According to OpenAI on X, its model disproved the planar unit distance belief, marking the first autonomous AI solution to a core math problem.